OLIVERAS, ALBERT : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (43)
Les plus populaires
Liste
- Liste
- Tableau

1

Preface

Sava Krstić, Albert Oliveras

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 88 KB

english, 2008

2

Morphological tools for segmentation : connected filters and watersheds

Fernand Meyer, Corinne Vachier, Albert Oliveras, Philippe Salembier

Journal:

annals of telecommunications - annales des télécommunications

Année:

1997

Langue:

english

Fichier:

PDF, 3.00 MB

english, 1997

3

Cardinality Networks: a theoretical and empirical study

Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 549 KB

english, 2011

4

A Framework for Certified Boolean Branch-and-Bound Optimization

Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

Journal:

Journal of Automated Reasoning

Année:

2011

Langue:

english

Fichier:

PDF, 442 KB

english, 2011

5

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Journal:

Journal of Automated Reasoning

Année:

2012

Langue:

english

Fichier:

PDF, 471 KB

english, 2012

6

Fast congruence closure and extensions

Robert Nieuwenhuis, Albert Oliveras

Journal:

Information and Computation

Année:

2007

Langue:

english

Fichier:

PDF, 291 KB

english, 2007

7

Dosificación de fármacos en administración cerebroespinal

G. Gil Luján, S. Clemente Bautista, M. Oliveras Arenas, M.J. Cabañas Poy, E. Hidalgo Albert

Journal:

Farmacia Hospitalaria

Année:

2005

Fichier:

PDF, 116 KB

2005

8

Osmolalidad de las formas farmacéuticas orales líquidas en un hospital para su aplicación en neonatos

A. Fernández Polo, M.J. Cabañas Poy, S. Clemente Bautista, M. Oliveras Arenas, F. Castillo Salinas, E. Hidalgo Albert

Journal:

Farmacia Hospitalaria

Année:

2007

Fichier:

PDF, 95 KB

2007

9

Administración de antiinfecciosos por vía inhalatoria

S. Clemente Bautista, A. Fernández Polo, G. Gil Luján, M.J. Cabañas Poy, M. Oliveras Arenas, E. Hidalgo Albert

Journal:

Farmacia Hospitalaria

Année:

2007

Fichier:

PDF, 138 KB

2007

10

Elevated basal hepcidin levels in the liver may inhibit the development of malaria infection: Another piece towards solving the malaria puzzle?

Albert Oliveras-Vergés, Enric Espel-Masferrer

Journal:

Medical Hypotheses

Année:

2008

Langue:

english

Fichier:

PDF, 124 KB

english, 2008

11

Interacción farmacocinética entre ácido valproico y meropenem

F. Sala Piñol, N. Padullés Zamora, E. Hidalgo Albert, S. Clemente Bautista, M.J. Cabañas Poy, M. Oliveras Arenas, J. Balcells Ramírez

Journal:

Anales de Pediatría

Année:

2006

Fichier:

PDF, 83 KB

2006

12

6 Years of SMT-COMP

Clark Barrett, Morgan Deters, Leonardo de Moura, Albert Oliveras, Aaron Stump

Journal:

Journal of Automated Reasoning

Année:

2013

Langue:

english

Fichier:

PDF, 536 KB

english, 2013

13

Solving SAT and SAT Modulo Theories

Nieuwenhuis, Robert, Oliveras, Albert, Tinelli, Cesare

Journal:

Journal of the ACM

Année:

2006

Langue:

english

Fichier:

PDF, 326 KB

english, 2006

14

Selective Formation of Oligomeric Kv7.5 (KCNQ5)/KCNE1 and Kv7.5 (KCNQ5)/KCNE3 Channels. Differential Targeting to Membrane Surface Microdomains

Sole, Laura, Roura-Ferrer, Meritxell, Oliveras, Anna, Vallejo, Albert, Roig, Sara, Villarroel, Alvaro, Comes, Nuria, Felipe, Antonio

Journal:

Biophysical Journal

Année:

2012

Langue:

english

Fichier:

PDF, 40 KB

english, 2012

15

[IEEE 2011 Promotion and Innovation with New Technologies in Engineering Education (FINTDI 2011) - Teruel (2011.05.5-2011.05.6)] 2011 Promotion and Innovation with New Technologies in Engineering Education (FINTDI 2011) - Implementation and first results of the Introduction to Engineering course in the ETSETB-UPC new degrees

Bragos, Ramon, Pegueroles, Josep, Alarcon, Eduard, Camps, Adriano, Sarda, Joan, Consolacion, Carolina, Mussons, Jaume, Pons, Olga, Oliveras, Albert, Garcia, Miguel, Onrubia, Raul, Sayrol, Elisa

Année:

2011

Fichier:

PDF, 8.45 MB

2011

16

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Write-Based Solver for SAT Modulo the Theory of Arrays

Bofill, Miquel, Nieuwenhuis, Robert, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rubio, Albert

Année:

2008

Langue:

english

Fichier:

PDF, 187 KB

english, 2008

17

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Proving termination of imperative programs using Max-SMT

Larraz, Daniel, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rubio, Albert

Année:

2013

Langue:

english

Fichier:

PDF, 262 KB

english, 2013

18

[IEEE 2013 IEEE 13th International Conference on Bioinformatics and Bioengineering (BIBE) - Chania, Greece (2013.11.10-2013.11.13)] 13th IEEE International Conference on BioInformatics and BioEngineering - Ensemble learning and hierarchical data representation for microarray classification

Bosio, Mattia, Bellot, Pau, Salembier, Philippe, Vergeas, Albert Oliveras

Année:

2013

Langue:

english

Fichier:

PDF, 242 KB

english, 2013

19

[IEEE 2011 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS) - San Antonio, TX, USA (2011.12.4-2011.12.6)] 2011 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS) - Feature set enhancement via hierarchical clustering for microarray classification

Bosio, Mattia, Pujalte, Pau Bellot, Salembier, Philippe, Oliveras-Verges, Albert

Année:

2011

Langue:

english

Fichier:

PDF, 254 KB

english, 2011

20

[IEEE 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE) - Larnaca, Cyprus (2012.11.11-2012.11.13)] 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE) - Microarray classification with hierarchical data representation and novel feature selection criteria

Bosio, Mattia, Bellot, Pau, Salembier, Philippe, Verges, Albert Oliveras

Année:

2012

Langue:

english

Fichier:

PDF, 622 KB

english, 2012

21

[IEEE 2012 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS) - Washington, DC, USA (2012.12.2-2012.12.4)] Proceedings 2012 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS) - Multiclass cancer-microarray classification algorithm with pair-against-all redundancy

Bosio, Mattia, Bellot, Pau, Salembier, Philippe, Oliveras-Verges, Albert

Année:

2012

Langue:

english

Fichier:

PDF, 105 KB

english, 2012

22

[IEEE 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Osaka (2013.7.3-2013.7.7)] 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Hierarchical clustering combining numerical and biological similarities for gene expression data classification

Bosio, Mattia, Salembier, Philippe, Bellot, Pau, Oliveras-Verges, Albert

Année:

2013

Langue:

english

Fichier:

PDF, 436 KB

english, 2013

23

DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)

BARRETT, CLARK, DETERS, MORGAN, OLIVERAS, ALBERT, STUMP, AARON

Journal:

International Journal of Artificial Intelligence Tools

Année:

2008

Langue:

english

Fichier:

PDF, 614 KB

english, 2008

24

GENE EXPRESSION DATA CLASSIFICATION COMBINING HIERARCHICAL REPRESENTATION AND EFFICIENT FEATURE SELECTION

BOSIO, MATTIA, BELLOT, PAU, SALEMBIER, PHILIPPE, OLIVERAS-VERGÉS, ALBERT

Journal:

Journal of Biological System

Année:

2012

Langue:

english

Fichier:

PDF, 656 KB

english, 2012

25

SPIE Proceedings [SPIE Electronic Imaging '97 - San Jose, CA (Saturday 8 February 1997)] Visual Communications and Image Processing '97 - Motion analysis of image sequences using connected operators

Garrido, Luis, Oliveras, Albert, Salembier, Philippe, Biemond, Jan, Delp III, Edward J.

Année:

1997

Langue:

english

Fichier:

PDF, 479 KB

english, 1997

26

Rapid expansion of the protein disulfide isomerase gene family facilitates the folding of venom peptides

Safavi-Hemami, Helena, Li, Qing, Jackson, Ronneshia L., Song, Albert S., Boomsma, Wouter, Bandyopadhyay, Pradip K., Gruber, Christian W., Purcell, Anthony W., Yandell, Mark, Olivera, Baldomero M., Ell

Journal:

Proceedings of the National Academy of Sciences

Année:

2016

Langue:

english

Fichier:

PDF, 1.66 MB

english, 2016

27

[IEEE 2015 IEEE Symposium Series on Computational Intelligence (SSCI) - Cape Town, South Africa (2015.12.7-2015.12.10)] 2015 IEEE Symposium Series on Computational Intelligence - Study of Normalization and Aggregation Approaches for Consensus Network Estimation

Bellot, Pau, Salembier, Philippe, Oliveras, Albert, Meyer, Patrick E.

Année:

2015

Langue:

english

Fichier:

PDF, 322 KB

english, 2015

28

NetBenchmark: a bioconductor package for reproducible benchmarks of gene regulatory network inference

Bellot, Pau, Olsen, Catharina, Salembier, Philippe, Oliveras-Vergés, Albert, Meyer, Patrick E.

Journal:

BMC Bioinformatics

Année:

2015

Langue:

english

Fichier:

PDF, 851 KB

english, 2015

29

SPIE Proceedings [SPIE Visual Communications and Image Processing '96 - Orlando, FL (Sunday 17 March 1996)] Visual Communications and Image Processing '96 - Generalized connected operators

Oliveras, Albert, Salembier, Philippe, Ansari, Rashid, Smith, Mark J. T.

Année:

1996

Langue:

english

Fichier:

PDF, 539 KB

english, 1996

30

Spironolactone versus sympathetic renal denervation to treat true resistant hypertension

Oliveras, Anna, Armario, Pedro, Clarà, Albert, Sans-Atxer, Laia, Vázquez, Susana, Pascual, Julio, De la Sierra, Alejandro

Journal:

Journal of Hypertension

Année:

2016

Langue:

english

Fichier:

PDF, 273 KB

english, 2016

31

Organ damage changes in patients with resistant hypertension randomized to renal denervation or spironolactone: The DENERVHTA (Denervación en Hipertensión Arterial) study

Oliveras, Anna, Armario, Pedro, Sans, Laia, Clarà, Albert, Vázquez, Susana, Molina, Luis, Pareja, Júlia, de la Sierra, Alejandro, Pascual, Julio

Journal:

Journal of Clinical Hypertension

Année:

2018

Langue:

english

Fichier:

PDF, 302 KB

english, 2018

32

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Compositional safety verification with Max-SMT

Brockschmidt, Marc, Larra, Daniel, Oliveras, Albert, Rodrıguez-Carbonell, Enric, Rubio, Albert

Année:

2015

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2015

33

Affective Priming Using Facial Expressions Modulates Liking for Abstract Art

Flexas, Albert, Rosselló, Jaume, Christensen, Julia F., Nadal, Marcos, Olivera La Rosa, Antonio, Munar, Enric, Martinez, Luis M

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 170 KB

english, 2013

34

Changes in Central 24-h Ambulatory Blood Pressure and Hemodynamics 12 Months After Bariatric Surgery: the BARIHTA Study

Oliveras, Anna, Goday, Albert, Sans, Laia, Arias, Carlos E., Vazquez, Susana, Benaiges, David, Ramon, José Manuel, Pascual, Julio

Journal:

Obesity Surgery

Année:

2019

Langue:

english

Fichier:

PDF, 590 KB

english, 2019

35

Changes in Central 24-h Ambulatory Blood Pressure and Hemodynamics 12 Months After Bariatric Surgery: the BARIHTA Study

Oliveras, Anna, Goday, Albert, Sans, Laia, Arias, Carlos E., Vazquez, Susana, Benaiges, David, Ramon, José Manuel, Pascual, Julio

Journal:

Obesity Surgery

Année:

2019

Fichier:

PDF, 590 KB

2019

36

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers

Borralleras, Cristina, Larraz, Daniel, Rodríguez-Carbonell, Enric, Oliveras, Albert, Rubio, Albert

Journal:

ACM Transactions on Computational Logic

Année:

2019

Langue:

english

Fichier:

PDF, 1.58 MB

english, 2019

37

Comorbidity and low use of new antiplatelets in acute coronary syndrome

Aboal, Jaime, Llaó, Isaac, García García, Cosme, Sans-Roselló, Jordi, Sambola, Antonia, Andrea, Rut, Tomás, Carlos, Bonet, Gil, Ariza-Solé, Albert, Viñas, David, Oliveras Vilà, Teresa, Montero, Santia

Journal:

Aging Clinical and Experimental Research

Année:

2019

Langue:

english

Fichier:

PDF, 634 KB

english, 2019

38

Comorbidity and low use of new antiplatelets in acute coronary syndrome

Aboal, Jaime, Llaó, Isaac, García García, Cosme, Sans-Roselló, Jordi, Sambola, Antonia, Andrea, Rut, Tomás, Carlos, Bonet, Gil, Ariza-Solé, Albert, Viñas, David, Oliveras Vilà, Teresa, Montero, Santia

Journal:

Aging Clinical and Experimental Research

Année:

2019

Fichier:

PDF, 634 KB

2019

39

Laparoscopic Roux-en-Y gastric bypass versus laparoscopic sleeve gastrectomy for 5-year hypertension remission in obese patients

Climent, Elisenda, Goday, Albert, Pedro-Botet, Juan, Solà, Ivan, Oliveras, Anna, Ramón, José Manuel, Flores-Le Roux, Juana Antonia, Checa, Miguel Ángel, Benaiges, David

Journal:

Journal of Hypertension

Année:

2019

Fichier:

PDF, 1.37 MB

2019

40

The effect of lockdown on the outcomes of COVID-19 in Spain: An ecological study

Siqueira, Camila Alves dos Santos, Freitas, Yan Nogueira Leite de, Cancela, Marianna de Camargo, Carvalho, Monica, Oliveras-Fabregas, Albert, de Souza, Dyego Leandro Bezerra, Di Gennaro, Francesco

Journal:

Année:

2020

Fichier:

PDF, 1.47 MB

2020

41

A FRET-based high-throughput screening platform for the discovery of chemical probes targeting the scaffolding functions of human tankyrases

Sowa, Sven T., Vela-RodrÃguez, Carlos, Galera-Prat, Albert, CÃ¡zares-Olivera, Mariana, Prunskaite-HyyrylÃ¤inen, Renata, Ignatev, Alexander, LehtiÃ¶, Lari

Journal:

Scientific Reports

Année:

2020

Fichier:

PDF, 1.64 MB

2020

42

A case report of gastrointestinal histoplasmosis in a patient treated with infliximab

Oliveras, Berta, Albert, Marc, LÃ³pez, Carme, Fort, Esther, Peries, Laia, GutiÃ©rrez, Laia, Busquets, David, Uchima, Hugo, Aldeguer, Xavier, PiÃ±ol, Virginia

Journal:

Clinical Journal of Gastroenterology

Année:

2020

Fichier:

PDF, 1012 KB

2020

43

Effect of bariatric surgery on cardiac structure and function in obese patients: Role of the reninâangiotensin system

Oliveras, Anna, Molina, LluÃs, Goday, Albert, Sans, Laia, Riera, Marta, Vazquez, Susana, Benaiges, David, Granados, Ana Marina, Ramon, JosÃ© Manuel, Pascual, Julio

Journal:

Journal of Clinical Hypertension

Année:

2020

Fichier:

PDF, 514 KB

2020